Using Transformations in the Implementation of Higher-Order Functions
نویسندگان
چکیده
منابع مشابه
the survey of the virtual higher education in iran and the ways of its development and improvement
این پژوهش با هدف "بررسی وضعیت موجود آموزش عالی مجازی در ایران و راههای توسعه و ارتقای آن " و با روش توصیفی-تحلیلی و پیمایشی صورت پذیرفته است. بررسی اسنادو مدارک موجود در زمینه آموزش مجازی نشان داد تعداد دانشجویان و مقاطع تحصیلی و رشته محل های دوره های الکترونیکی چندان مطلوب نبوده و از نظر کیفی نیز وضعیت شاخص خدمات آموزشی اساتید و وضعیت شبکه اینترنت در محیط آموزش مجازی نامطلوب است.
Higher Order Context Transformations
The context transformation and generalized context transformation methods, we introduced recently, were able to reduce zero order entropy by exchanging digrams, and as a consequence, they were removing mutual information between consecutive symbols of the input message. These transformations were intended to be used as a preprocessor for zero-order entropy coding algorithms like Arithmetic or H...
متن کاملExact Implementation of Multiple Initial Conditions in the DQ Solution of Higher-Order ODEs
The differential quadrature method (DQM) is one of the most elegant and useful approximate methods for solving initial and/or boundary value problems. It is easy to use and also straightforward to implement. However, the conventional DQM is well-known to have some difficulty in implementing multiple initial and/or boundary conditions at a given discrete point. To overcome this difficulty, this ...
متن کاملExtension of Higher Order Derivatives of Lyapunov Functions in Stability Analysis of Nonlinear Systems
The Lyapunov stability method is the most popular and applicable stability analysis tool of nonlinear dynamic systems. However, there are some bottlenecks in the Lyapunov method, such as need for negative definiteness of the Lyapunov function derivative in the direction of the system’s solutions. In this paper, we develop a new theorem to dispense the need for negative definite-ness of Lyapunov...
متن کاملProgramming Type-Safe Transformations Using Higher-Order Abstract Syntax
Compiling syntax to native code requires complex code transformations which rearrange the abstract syntax tree. This can be particularly challenging for languages containing binding constructs, and often leads to subtle, hard to find errors. In this paper, we exploit higher-order abstract syntax (HOAS) to implement a type-preserving compiler for thesyntax (HOAS) to implement a type-preserving c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1990
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v19i337.6568